\begin{tabbing}
ma{-}interface{-}msgs($I$;$i$;$k$)($s$,$v$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=if can{-}apply($\lambda$$p$.let $s$,$v$ = $p$ in ma{-}interface{-}code($I$;$i$;$k$)($s$,$v$);$<$$s$, $v$$>$)\+
\\[0ex]then [do{-}apply($\lambda$$p$.let $s$,$v$ = $p$ in ma{-}interface{-}code($I$;$i$;$k$)($s$,$v$);$<$$s$, $v$$>$)]
\\[0ex]else []
\\[0ex]fi 
\-
\end{tabbing}